Example (Cont.)
wprocedure doIt(
w                    choice: char;
w A, B: integer);
w(* Does the requested computations for one pair of numbers. *)
wbegin
void doIt (
     char choice,
     int A, int B)
{
/* Does the computations for one pair of numbers. */